Towards Runtime Verification of Programmable Switches

Is it possible to patch software bugs in P4 programs without human involvement? We show that this is partially possible in many cases due to advances in software testing and the structure of P4 programs. Our insight is that runtime verification can detect bugs, even those that are not detected at compile-time, with machine learning-guided fuzzing. This enables a more automated and real-time localization of bugs in P4 programs using software testing techniques like Tarantula. Once the bug in a P4 program is localized, the faulty code can be patched due to the programmable nature of P4. In addition, platform-dependent bugs can be detected. From P4_14 to P4_16 (latest version), our observation is that as the programmable blocks increase, the patchability of P4 programs increases accordingly. To this end, we design, develop, and evaluate P6 that (a) detects, (b) localizes, and (c) patches bugs in P4 programs with minimal human interaction. P6 tests P4 switch non-intrusively, i.e., requires no modification to the P4 program for detecting and localizing bugs. We used a P6 prototype to detect and patch seven existing bugs in eight publicly available P4 application programs deployed on two different switch platforms: behavioral model (bmv2) and Tofino. Our evaluation shows that P6 significantly outperforms bug detection baselines while generating fewer packets and patches bugs in P4 programs such as switch.p4 without triggering any regressions

Are evolutionary transitions in sexual size dimorphism related to sex determination in reptiles?

Sex determination systems are highly variable in vertebrates, although neither the causes nor the implications of this diversity are fully understood. Theory suggests that sex determination is expected to relate to sexual size dimorphism, because environmental sex determination promotes sex-specific developmental bias in embryonic growth rates. Furthermore, selection for larger size in one sex or the other has been proposed to drive the evolution of different genetic sex determination systems. Here, we investigate whether sex determination systems relate to adult sexual size dimorphism, using 250 species of reptiles (Squamata, Testudines and Crocodylia) representing 26 families. Using phylogenetically informed analyses, we find that sexual size dimorphism is associated with sex determination: species with TSDIa sex determination (i.e. in which the proportion of female offspring increases with incubation temperature) have more female-biased size dimorphism than species with TSDII (i.e. species in which males are produced at mid temperatures). We also found a trend that species with TSD ancestors had more male-biased size dimorphism in XY sex chromosome systems than in ZW sex chromosome systems. Taken together, our results support the prediction that sexual size dimorphism is linked to sex-dependent developmental variations caused by environmental factors and also by sex chromosomes. Since the extent of size dimorphism is related to various behavioural, ecological and life-history differences between sexes, our results imply profound impacts of sex determination systems for vertebrate diversity

Comparison of clinical characteristics of patients with pandemic SARS-CoV-2-related and community-acquired pneumonias in Hungary – a pilot historical case-control study

The distinction between severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2)–related and community-acquired pneumonias poses significant difficulties, as both frequently involve the elderly. This study aimed to predict the risk of SARS-CoV-2-related pneumonia based on clinical characteristics at hospital presentation. Case-control study of all patients admitted for pneumonia at Semmelweis University Emergency Department. Cases (n = 30) were patients diagnosed with SARS-CoV-2-related pneumonia (based on polymerase chain reaction test) between 26 March 2020 and 30 April 2020; controls (n = 82) were historical pneumonia cases between 1 January 2019 and 30 April 2019. Logistic models were built with SARS-CoV-2 infection as outcome using clinical characteristics at presentation. Patients with SARS-CoV-2-related pneumonia were younger (mean difference, 95% CI: 9.3, 3.2–15.5 years) and had a higher lymphocyte count, lower C-reactive protein, presented more frequently with bilateral infiltrate, less frequently with abdominal pain, diarrhoea, and nausea in age- and sex-adjusted models. A logistic model using age, sex, abdominal pain, C-reactive protein, and the presence of bilateral infiltrate as predictors had an excellent discrimination (AUC 0.88, 95% CI: 0.81–0.96) and calibration (p = 0.27–Hosmer-Lemeshow test). The clinical use of our screening prediction model could improve the discrimination of SARS-CoV-2 related from other community-acquired pneumonias and thus help patient triage based on commonly used diagnostic approaches. However, external validation in independent datasets is required before its clinical use

Evolution of reproductive modes in sharks and rays

The ecological and life history drivers of the diversification of reproductive modes in early vertebrates are not fully understood. Sharks, rays and chimaeras (group Chondrichthyes) have an unusually diverse variety of reproductive modes and are thus an ideal group to test the factors driving the evolution of reproductive complexity. Here, using 960 species representing all major Chondrichthyes taxa, we reconstruct the evolution of their reproduction modes and investigate the ecological and life history predictors of reproduction. We show that the ancestral Chondrichthyes state was egg-laying and find multiple independent transitions between egg-laying and live-bearing via an intermediate state of yolk-only live-bearing. Using phylogenetically informed analysis, we also show that live-bearing species have larger body size and larger offspring than egg-laying species. In addition, live-bearing species are distributed over shallow to intermediate depths, while egg-layers are typically found in deeper waters. This suggests that live-bearing is more closely associated with pelagic, rather than demersal habitats. Taken together, using a basal vertebrate group as a model, we demonstrat how reproductive mode co-evolves with environmental conditions and life-history traits

Utjecaj uvjeta uzgoja i dodatka soli na sastav eteričnog ulja slatkog mažurana (Origanum majorana) iz Tunisa

O. majorana shoots were investigated for their essential oil (EO) composition. Two experiments were carried out; the first on hydroponic medium in a culture chamber and the second on inert sand in a greenhouse for 20 days. Plants were cultivated for 17 days in hydroponic medium supplemented with NaCl 100 mmol L1. The results showed that the O. majorana hydroponic medium offered higher essential oil yield than that from the greenhouse. The latter increased significantly in yield (by 50 %) under saline constraint while it did not change in the culture chamber. Under greenhouse conditions and in the absence of salt treatment, the major constituents were terpinene-4-ol and trans-sabinene hydrate. However, in the culture chamber, the major volatile components were cis-sabinene hydrate and terpinene-4-ol. In the presence of NaCl, new compounds appeared, such as eicosane, spathulenol, eugenol, and phenol. In addition, in the greenhouse, with or without salt, a very important change of trans-sabinene hydrate concentration in EO occurred, whereas in the culture chamber change appeared in cis-sabinene hydrate content.U radu je opisano ispitivanje sastava eteričnog ulja izdanaka biljke O. majorana. Provedena su dva eksperimenta: prvi na hidroponom mediju u komorama za uzgoj, a drugi na inertnom pijesku u stakleniku tijekom 20 dana. Biljke su uzgajane 17 dana u hidroponom mediju u koji je dodan NaCl 100 mmol L1. Rezultati ukazuju na to da hidroponi medij O. majorana osigurava veće prinose eteričnog ulja nego staklenik. U stakleniku se prinos ulja značajno povećao dodavanjem 50 % soli dok u uzgoju u uzgojnoj komori nije bilo promjene. U uvjetima u stakleniku i u odsutnosti soli, najvažniji sastojci ulja bili su terpinen-4-ol i trans-sabinen hidrat, dok su u uvjetima uzgojne komore najvažnije hlapljive komponente bile cis-sabinen hidrat i terpinen-4-ol. U prisutnosti NaCl-a, pojavili su se novi sastojci, kao što su eikozan, spatulenol, eugenol i fenol. Dodatno je uz stakleničke uvjete, sa i bez soli, došlo do važne promjene u količini trans-sabinen hidrata u eteričnom ulju, dok se u komorama promijenio sadržaj cis-sabinen hidrata

Isolation of living sperm cells and in vitro fusion of Torenia fournieri gametes

In contrast to most angiosperms, Torenia contains a naked embryo sac and therefore has been considered since many years as an exciting model plant to study the double fertilization process of flowering seed plants. It is thus not surprising that the isolation of protoplasts from the female gametophyte has been reported already 20 years ago by Mol, the isolation of megaspores and megagametophytes has been published by the authors of this manuscript in 1996 and in 1999. The isolation of the male gametophyte and of sperm cells was published by the authors in 2004. The isolation of viable Torenia sperm cells is a crucial part of the elaboration of an in vitro fertilization system. Torenia sperm cells were isolated from in vivo — in vitro cultured pollen tubes. In this system pollen tubes first grow inside a cut style then follow their elongation in a solid isolation medium. The medium contained agarose in order to detain pollen tube contents. Released sperm cells and enzymatically isolated egg cells were collected and handled using glass micropipettes and transmitted to an electrofusion apparatus or polyethylene glycol containing media for fusion probes

Isolation of living sperm cells and in vitro fusion of Torenia fournieri gametes

In contrast to most angiosperms, Torenia contains a naked embryo sac and therefore has been considered since many years as an exciting model plant to study the double fertilization process of flowering seed plants. It is thus not surprising that the isolation of protoplasts from the female gametophyte has been reported already 20 years ago by Mol, the isolation of megaspores and megagametophytes has been published by the authors of this manuscript in 1996 and in 1999. The isolation of the male gametophyte and of sperm cells was published by the authors in 2004. The isolation of viable Torenia sperm cells is a crucial part of the elaboration of an in vitro fertilization system. Torenia sperm cells were isolated from in vivo — in vitro cultured pollen tubes. In this system pollen tubes first grow inside a cut style then follow their elongation in a solid isolation medium. The medium contained agarose in order to detain pollen tube contents. Released sperm cells and enzymatically isolated egg cells were collected and handled using glass micropipettes and transmitted to an electrofusion apparatus or polyethylene glycol containing media for fusion probes